//variable filled by GET parameters to be used in JavaScript
var global_parameters=new Array();

function displayResult() {
    //call on load
    onDisplayResult();
}

